Metamath Blueprint : Triangle Congruences
Theorem
tgtrcgras
Status:
ReadyForStmt
Reference:
Part (1) of Theorem 11.44 of [Schwabhauser] p. 109.
In triangles, congruent sides are exactly those facing congruent angles